Results for 'modern function proving'